When Organocatalysis Meets Transition‐Metal Catalysis

When Science Meets Religion

When gold meets chiral Brønsted acid catalysts: extending the boundaries of enantioselective gold catalysis.

This review describes the development in the use of Au(I)/Brønsted acid binary catalytic systems to enable an enantioselective transformation in one-pot that cannot be achieved by gold catalysts alone. The examples discussed herein are promising since apart from using chiral ligands there exists a possibility of using chiral Brønsted acids. Clearly, the horizon for enantioselective gold catalys...

When Turing Meets Milner

• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version ...

When Simulation Meets Antichains

We describe a new and more efficient algorithm for checking universality and language inclusion on nondeterministic finite word automata (NFA) and tree automata (TA). To the best of our knowledge, the antichain-based approach proposed by De Wulf et al. was the most efficient one so far. Our idea is to exploit a simulation relation on the states of finite automata to accelerate the antichain-bas...

When mind meets machine

into sufferers from amyotrophic lateral sclerosis (ALS) and brain-stem stroke, which enables them to move a computer cursor, albeit slowly. The device uses electrodes attached to amplifiers and FM transmitters transplanted 5 mm deep—just under the scalp—into the brain. The electrodes encourage brain tissue to grow around them, thus stabilizing them against any movement and resulting distortion ...